3941. User Modeling and Adaptation for Daily Routines
پدیدآورنده : / n, Pablo A. Haya, Rosa M. Carroکa MartکEstefan
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
3942. Vagueness in Communication
پدیدآورنده : / Christian Schmitz-Rick Nouwen, Robert Rooij, Uli Sauerland, Hans
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
3943. Valued Cooperative Games in Economic Management-Models and Methods for Interval
پدیدآورنده : / Feng Li-Deng
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
3944. Valued Neural Networks-Complex
پدیدآورنده : / Akira Hirose
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
3945. Valued Neurons-Valued Neural Networks with Multi-Complex
پدیدآورنده : / Igor Aizenberg
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
3946. Vehicle Unmanned Systems-Team Cooperation in a Network of Multi
پدیدآورنده : / Kazerooni, Khashayar Khorasani-Elham Semsar
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
3947. Verification, Induction, Termination Analysis
پدیدآورنده : / Simon Siegler, Nathan Wasser
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3948. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3949. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Kenneth L. McMillan, Xavier Rival
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3950. Verification of Business Rules Programs
پدیدآورنده : / Da Silva-Bruno Berstel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3951. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / Ernie Cohen, Andrey Rybalchenko
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3952. Verified Software: Theories, Tools, Experiments
پدیدآورنده : / ller, Andreas PodelskiیRajeev Joshi, Peter M
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3953. Verified Software: Theories, Tools and Experiments
پدیدآورنده : / Dimitra Giannakopoulou, Daniel Kroening
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
3954. Video Analytics for Audience Measurement
پدیدآورنده : / Cosimo Distante, Sebastiano Battiato, Andrea Cavallaro
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
3955. Video Analytics for Business Intelligence
پدیدآورنده : / Caifeng Shan, Fatih Porikli, Tao Xiang, Shaogang Gong
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
3956. Video Processing and Computational Video
پدیدآورنده : / Manor-Daniel Cremers, Marcus Magnor, Martin R. Oswald, Lihi Zelnik
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
3957. Video Search and Mining
پدیدآورنده : / Dan Schonfeld, Caifeng Shan, Dacheng Tao, Liang Wang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS& METHODS|MINING &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
3958. Virtual, Augmented Reality and Serious Games for Healthcare 1
پدیدآورنده : / Minhua Ma, Lakhmi C. Jain, Paul Anderson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, BIOMEDICAL|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK
3959. Virtual, Augmented and Mixed Reality
پدیدآورنده : / Randall Shumaker, Stephanie Lackey
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
3960. Virtual, Augmented and Mixed Reality. Applications of Virtual and Augmented Reality
پدیدآورنده : / Randall Shumaker, Stephanie Lackey
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
